type Shift<T> = T extends [infer R, ...infer P] ? P : []